Date: Wed, 15 Jan 1997 00:18:07 GMT
Server: NCSA/1.5.1
Last-modified: Wed, 06 Nov 1996 01:34:50 GMT
Content-type: text/html
Content-length: 1874


<title> Gregory Sullivan's download page </title>
<body bgcolor="#FFFFFF">

<h2> Selected Papers Available for Download </h2>

<ol>

<li> <!WA0><a href = "http://www.cs.jhu.edu/~sullivan/cert1ieee.ps"> 
Certification of Computational Results.</a>
by G. Sullivan, D. Wilson and G. Masson.
<I>IEEE Transactions on Computers</I>,
IEEE Computer Society Press,
Vol. 44, pp. 833-847, 1995. 
(340K Postscript)

<li>  <!WA1><a href = "http://www.cs.jhu.edu/~sullivan/integrity.ps">
Checking the Integrity of Trees.</a>
by J. D. Bright, G. Sullivan, and G. M. Masson,
<I>Digest of the 25th Symposium on Fault-Tolerant Computing</I>,
IEEE Computer Society Press,
pp. 402-411, 1995. 
(241K Postscript)

<li> <!WA2><a href = "http://www.cs.jhu.edu/~sullivan/ftcs94mpq.ps"> 
Checking Mergeable Priority Queues.</a>
by J. D. Bright and G. Sullivan, 
<I>Proceedings of the 24th Annual Symposium on
Fault-Tolerant Computing</I>, 
pp. 144-153, 1994.
(250K Postscript. Revised version.)

<li> <!WA3><a href = "http://www.cs.jhu.edu/~sullivan/itc93.ps"> 
Certification Trails and Software Design for Testability.</a>
by D. Wilson, G. Sullivan and G. Masson.
<I>Proceedings of the 1993 International Test Conference</I>,
pp. 200-209,
International Test Conference - IEEE Computer Society Press,
October 1993. 
(194K Postscript)

<li> <!WA4><a href = "http://www.cs.jhu.edu/~sullivan/datastruct.ps"> 
Certification Trails for Data Structures.</a>
by G. Sullivan, D. Wilson and G. Masson.
extensively revised version of a paper that appeared in
<I>Proceedings of the 21st Annual Symposium on
Fault-Tolerant Computing</I>,
pp. 240-247, 1991.
(344K postscript)

</ol>

Limited permission is hereby granted to download these articles and to make
a printed copy for research and educational purposes only.

<p>

<!WA5><A HREF="http://www.cs.jhu.edu/~sullivan/home.html">Back to Gregory F.
Sullivan's Home Page</A>

  <P> <!WA6><A HREF="http://www.webtechs.com/html-val-svc/">
    <!WA7><IMG SRC="http://www.cs.jhu.edu/~sullivan/valid_html.mcom.gif" 
   ALT="WebTechs Mozilla Checked!"></A>

</Body>
</html>
